lower bounds for